Model Checking Legal Documents

نویسندگان

  • Daniel Gorín
  • Sergio Mera
  • Fernando Schapachnik
چکیده

This article presents the FORMALEX toolset, an approach to legislative drafting that, based on the similarities between software specifications and some types of regulations, uses off-the-shelf LTL model checkers to perform automatic analysis on normative systems.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Regulating Web-based Communities

Regulations of organizations and the contracts they enter into are generally recorded in human-readable, legal documents. Were such documents interpretable by computer, software could perform ongoing compliance checking. This would allow organizations to ensure they operate within legal bounds, or locate flaws in the regulations themselves. This paper presents early work on the CamPACE environm...

متن کامل

A Software Tool for Legal Drafting

Although many attempts at automated aids for legal drafting have been made, they were based on the construction of a new tool, completely from scratch. This is at least curious, considering that a strong parallelism can be established between a normative document and a software specification: both describe what an entity should or should not do, can or cannot do. In this article we compare norm...

متن کامل

Checking Compliance in European Tender Documents through Ontologies and Rules

In this paper we present an overview of the PhD thesis, which aims to show the feasibility of a legal knowledge modeling based on the definitions included into legal texts using Semantic Web techniques in order to check compliance of tender documents to EU Directives. We show a hybrid approach, i.e. a theory and a system that combine the use of Akoma-Ntoso standard to describe legal texts, OWL ...

متن کامل

Fact-Checking of Reports in Kalamat-e Anjoman Using Archival Documents on the History of Kashan during the Qajar Era

This research aims to do a content review on the materials printed and published in “Kalamat-e Anjoman” about the history of Kashan. This study also assesses these materials using archival documents in order to confirm or refute the contents. This research used a descriptive/analytical method and the data were obtained from “Kalamat-e Anjoman” and archival documents. Findings show that Abdolras...

متن کامل

Semantic Business Process Regulatory Compliance Checking Using LegalRuleML

Legal documents are the source of norms, guidelines, and rules that often feed into different applications. In this perspective, to foster the need of development and deployment of different applications, it is important to have a sufficiently expressive conceptual framework such that various heterogeneous aspects of norms can be modeled and reasoned with. In this paper, we investigate how to e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010